doc: user_manual.tex
	(latex user_manual;latex user_manual;dvipdf user_manual)

clean:
	rm -f *.log *.aux *.dvi *~ *.pdf


